2341. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده: edited by Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2342. Theorem proving in higher order logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27-October 2, 1997 : proceedings
پدیدآورنده: Jim Grundy, Malcolm Newey, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1479
2343. Theorem proving with analytic tableaux and related methods :
پدیدآورنده: Peter Baumgartner, Reiner Hähnle, Joachim Posegga, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Nonclassical mathematical logic -- Congresses.
رده :
QA76
.
9
.
A96
P484
1995
2344. Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17th, 1996 : proceedings
پدیدآورنده: P. Miglioli ... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Nonclassical mathematical logic,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1071
2345. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده: Rossi, Richard J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Textbooks ، Proof theory,Textbooks ، Mathematical analysis - Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R668
2006
2346. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده: Rossi, Richard J., 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Proof theory,Textbooks ، Mathematical analysis -- Foundations,Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
R68T4
2347. Theorems, corollaries, lemmas, and methods of proof /
پدیدآورنده: Richard J. Rossi
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Textbooks,Mathematical analysis-- Foundations, Textbooks,Proof theory, Textbooks
رده :
QA9
.
54
.
R668
2006
2348. Theorems, corollaries, lemmas, and methods of proof
پدیدآورنده: / Richard J. Rossi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory- Textbooks,Mathematical analysis- Foundations- Textbooks,Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
54
.
R668
2006
2349. Theorems of the 21st century.
پدیدآورنده: Bogdan Grechuk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.
رده :
QA37
.
3
2350. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
2351. Theories for admissible sets :
پدیدآورنده: Gerhard Jäger
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Admissible sets,Definability theory (Mathematical logic),Proof theory
2352. Theories of Intensionality
پدیدآورنده: Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Intention )Logic(,Logic, Symbolic and mathematical,Electronic books,Electronic books
رده :
EBOOK
,
BC
.
I5
199
2353. Theories of intensionality : a critical survey
پدیدآورنده: Parsons, David
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Intention )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
I5P37
2354. Theory of Finite and Infinite Graphs
پدیدآورنده: by Dénes König.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.
2355. Theory of Graded Consequence :
پدیدآورنده: Mihir Kumar Chakraborty, Soma Dutta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Uncertainty (Information theory),Logic, Symbolic and mathematical.,Uncertainty (Information theory)
رده :
QA9
.
C45
2019
2356. Theory of formal systems /
پدیدآورنده: R.M. Smullyan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
2357. Theory of graded consequence :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
2358. Theory of language syntax
پدیدآورنده: Urszula Wybraniec-Skardowska ; ]translated from the Polish by Olgierd Adrian Wojtasiewicz[,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Categorial grammar,Formal languages,Logic, Symbolic and mathematical
رده :
EBOOK
,
P
.
W913
161
1991
